Niech obecnie zbiorem [~] bdzie rodzina wszystkich podzbiorw pewnej przestrzeni [~]. Jak wiemy jedynym moduem dla dodawania jest zbir pusty. Wynika std, e jedynym zbiorem, dla ktrego istnieje element odwrotny prawostronny lub lewostronny wzgldem dodawania, jest tylko zbir pusty, [&] 